1. A class of algorithms for distributed constraint optimization /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Constraint programming (Computer science),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Constraint programming (Computer science)

رده :
QA76
.
612
.
P48
2009eb

2. AQA A level Computer Science.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.

رده :
QA76

3. Algebraic Complexity Theory

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.

4. Algorithm design practice for collegiate programming contests and education /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Computer programming.,Computer algorithms.,Computer programming.,COMPUTERS / Programming Languages / General,MATHEMATICS / Arithmetic,MATHEMATICS / General

رده :
QA76
.
6

5. Algorithmic and experimental methods in algebra, geometry, and number theory /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Number theory.,Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,Number theory.

رده :
QA76
.
9
.
A43

6. Analysis for computer scientists :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics.,Computer science-- Mathematics.,Computers-- Data Processing.,Discrete mathematics.,Mathematics-- Applied.,Mathematics-- Counting & Numeration.,Maths for computer scientists.,Maths for engineers.,Numerical analysis.

رده :
QA76
.
9
.
M35

7. Applications of Computer Technology to Dynamical Astronomy :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algebra -- Data processing.,Physics.

رده :
QB4
.
E358
1989

8. Applied scientific computing :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Mathematics-- Data processing.,Python (Computer program language),3D graphics & modelling.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Programming-- Algorithms.,Mathematical theory of computation.,Mathematics-- Applied.,Mathematics-- Data processing.,Maths for engineers.,Maths for scientists.,Python (Computer program language)

رده :
QA76
.
95

9. Coding :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Coding theory.,Computer programming.,Coding theory.,Computer programming.,COMPUTERS-- Programming-- Algorithms.

رده :
QA76
.
6

10. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Distribution (Probability theory).,Mathematics.,Statistics.

11. Crowdsourced data management :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Crowdsourcing.,Database management.,COMPUTERS-- Databases-- General.,Crowdsourcing.,Data mining.,Database management.,Databases.,Expert systems-- knowledge-based systems.,Mobile & handheld device programming-- Apps programming.

رده :
QA76
.
9
.
D3

12. Graph-theoretic concepts in computer science :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.

رده :
QA166

13. Guide to discrete mathematics :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.

رده :
QA76
.
9
.
M35

14. Intelligent engineering informatics :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- General.,Cybernetics & systems theory.,Mobile & handheld device programming-- Apps programming.

رده :
Q334

15. Introduction to parallel computing :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)

رده :
QA76
.
642

16. LATIN 2018 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.

رده :
QA75
.
5

17. Models for Parallel and Distributed Computation

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algebra-- Data processing.,Combinatorics.,Computational complexity.,Computer science.,Information theory.

18. Neurocomputing :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Biology -- Data processing.,Computer science.,Neurosciences.

رده :
QA76
.
87
E358
1990

19. Number-theoretic methods in cryptology :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.

رده :
QA76
.
9
.
A25
N88
2017

20. Parallel problem solving from nature - PPSN VI ;

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.

رده :
QA76
.
58
.
C69
2000